Động lực Hàm_gamma

Hàm gamma nội suy hàm giai thừa thành các giá trị không nguyên.

Hàm gamma có thể được xem là một giải pháp cho vấn đề nội suy sau:

"Tìm một đường cong trơn kết nối các điểm   (x, y) được cho bởi y = (x − 1)! tại các giá trị nguyên dương cho   x."

Một sơ đồ của một vài giai thừa đầu tiên cho thấy một đường cong như vậy có thể được vẽ, nhưng tốt hơn là nên có một công thức mô tả chính xác đường cong, trong đó số lượng thao tác không phụ thuộc vào kích thước   x. Công thức đơn giản cho giai thừa, x! = 1 × 2 × … × x, không thể được sử dụng trực tiếp cho các giá trị phân số của x vì nó chỉ hợp lệ khi x là số tự nhiên (nghĩa là số nguyên dương). Nói một cách tương đối, không có giải pháp đơn giản nào cho các giai thừa; không có sự kết hợp hữu hạn của các khoản tiền, sản phẩm, quyền hạn, hàm số mũ hoặc logarit sẽ đủ để thể hiện   x!; nhưng có thể tìm thấy một công thức chung cho các giai thừa bằng cách sử dụng các công cụ như tích phângiới hạn hàm từ vi tích phân. Một giải pháp tốt cho vấn đề này là hàm gamma.[1]

Có vô số phần mở rộng liên tục của giai thừa thành không nguyên: vô số đường cong có thể được vẽ thông qua bất kỳ tập hợp các điểm bị cô lập. Hàm gamma là giải pháp hữu ích nhất trong thực tế, mang tính phân tích (ngoại trừ tại các số nguyên không dương), và nó có thể được mô tả theo nhiều cách. Tuy nhiên, nó không phải là hàm phân tích duy nhất mở rộng giai thừa, vì thêm vào đó bất kỳ hàm phân tích nào bằng 0 trên các số nguyên dương, chẳng hạn như k sin mπx, sẽ cung cấp một hàm khác với thuộc tính đó.[1]

Hàm gamma, Γ(z) màu xanh lam, được vẽ cùng với Γ(z) + sin(πz) màu xanh lá cây. Lưu ý giao điểm tại các số nguyên dương, cả hai đều là các phần tiếp theo phân tích hợp lệ của các yếu tố cho các số nguyên

Một thuộc tính hạn chế hơn so với việc thỏa mãn phép nội suy trên là để thỏa mãn mối quan hệ lặp lại xác định phiên bản phiên dịch của hàm giai thừa,

f ( 1 ) = 1 , {\displaystyle f(1)=1,} f ( x + 1 ) = x f ( x ) , {\displaystyle f(x+1)=xf(x),}